# ifndef COT_PREPROCESSOR_SEQ_SIZE_H
# define COT_PREPROCESSOR_SEQ_SIZE_H

#include "preprocessor/cat.h"

# define COT_PP_SEQ_SIZE(seq) COT_PP_SEQ_SIZE_I(seq)
# define COT_PP_SEQ_SIZE_I(seq) COT_PP_CAT(COT_PP_SEQ_SIZE_, COT_PP_SEQ_SIZE_0 seq)

# define COT_PP_SEQ_SIZE_0(_) COT_PP_SEQ_SIZE_1
# define COT_PP_SEQ_SIZE_1(_) COT_PP_SEQ_SIZE_2
# define COT_PP_SEQ_SIZE_2(_) COT_PP_SEQ_SIZE_3
# define COT_PP_SEQ_SIZE_3(_) COT_PP_SEQ_SIZE_4
# define COT_PP_SEQ_SIZE_4(_) COT_PP_SEQ_SIZE_5
# define COT_PP_SEQ_SIZE_5(_) COT_PP_SEQ_SIZE_6
# define COT_PP_SEQ_SIZE_6(_) COT_PP_SEQ_SIZE_7
# define COT_PP_SEQ_SIZE_7(_) COT_PP_SEQ_SIZE_8
# define COT_PP_SEQ_SIZE_8(_) COT_PP_SEQ_SIZE_9
# define COT_PP_SEQ_SIZE_9(_) COT_PP_SEQ_SIZE_10
# define COT_PP_SEQ_SIZE_10(_) COT_PP_SEQ_SIZE_11
# define COT_PP_SEQ_SIZE_11(_) COT_PP_SEQ_SIZE_12
# define COT_PP_SEQ_SIZE_12(_) COT_PP_SEQ_SIZE_13
# define COT_PP_SEQ_SIZE_13(_) COT_PP_SEQ_SIZE_14
# define COT_PP_SEQ_SIZE_14(_) COT_PP_SEQ_SIZE_15
# define COT_PP_SEQ_SIZE_15(_) COT_PP_SEQ_SIZE_16
# define COT_PP_SEQ_SIZE_16(_) COT_PP_SEQ_SIZE_17
# define COT_PP_SEQ_SIZE_17(_) COT_PP_SEQ_SIZE_18
# define COT_PP_SEQ_SIZE_18(_) COT_PP_SEQ_SIZE_19
# define COT_PP_SEQ_SIZE_19(_) COT_PP_SEQ_SIZE_20
# define COT_PP_SEQ_SIZE_20(_) COT_PP_SEQ_SIZE_21
# define COT_PP_SEQ_SIZE_21(_) COT_PP_SEQ_SIZE_22
# define COT_PP_SEQ_SIZE_22(_) COT_PP_SEQ_SIZE_23
# define COT_PP_SEQ_SIZE_23(_) COT_PP_SEQ_SIZE_24
# define COT_PP_SEQ_SIZE_24(_) COT_PP_SEQ_SIZE_25
# define COT_PP_SEQ_SIZE_25(_) COT_PP_SEQ_SIZE_26
# define COT_PP_SEQ_SIZE_26(_) COT_PP_SEQ_SIZE_27
# define COT_PP_SEQ_SIZE_27(_) COT_PP_SEQ_SIZE_28
# define COT_PP_SEQ_SIZE_28(_) COT_PP_SEQ_SIZE_29
# define COT_PP_SEQ_SIZE_29(_) COT_PP_SEQ_SIZE_30
# define COT_PP_SEQ_SIZE_30(_) COT_PP_SEQ_SIZE_31
# define COT_PP_SEQ_SIZE_31(_) COT_PP_SEQ_SIZE_32
# define COT_PP_SEQ_SIZE_32(_) COT_PP_SEQ_SIZE_33
# define COT_PP_SEQ_SIZE_33(_) COT_PP_SEQ_SIZE_34
# define COT_PP_SEQ_SIZE_34(_) COT_PP_SEQ_SIZE_35
# define COT_PP_SEQ_SIZE_35(_) COT_PP_SEQ_SIZE_36
# define COT_PP_SEQ_SIZE_36(_) COT_PP_SEQ_SIZE_37
# define COT_PP_SEQ_SIZE_37(_) COT_PP_SEQ_SIZE_38
# define COT_PP_SEQ_SIZE_38(_) COT_PP_SEQ_SIZE_39
# define COT_PP_SEQ_SIZE_39(_) COT_PP_SEQ_SIZE_40
# define COT_PP_SEQ_SIZE_40(_) COT_PP_SEQ_SIZE_41
# define COT_PP_SEQ_SIZE_41(_) COT_PP_SEQ_SIZE_42
# define COT_PP_SEQ_SIZE_42(_) COT_PP_SEQ_SIZE_43
# define COT_PP_SEQ_SIZE_43(_) COT_PP_SEQ_SIZE_44
# define COT_PP_SEQ_SIZE_44(_) COT_PP_SEQ_SIZE_45
# define COT_PP_SEQ_SIZE_45(_) COT_PP_SEQ_SIZE_46
# define COT_PP_SEQ_SIZE_46(_) COT_PP_SEQ_SIZE_47
# define COT_PP_SEQ_SIZE_47(_) COT_PP_SEQ_SIZE_48
# define COT_PP_SEQ_SIZE_48(_) COT_PP_SEQ_SIZE_49
# define COT_PP_SEQ_SIZE_49(_) COT_PP_SEQ_SIZE_50
# define COT_PP_SEQ_SIZE_50(_) COT_PP_SEQ_SIZE_51
# define COT_PP_SEQ_SIZE_51(_) COT_PP_SEQ_SIZE_52
# define COT_PP_SEQ_SIZE_52(_) COT_PP_SEQ_SIZE_53
# define COT_PP_SEQ_SIZE_53(_) COT_PP_SEQ_SIZE_54
# define COT_PP_SEQ_SIZE_54(_) COT_PP_SEQ_SIZE_55
# define COT_PP_SEQ_SIZE_55(_) COT_PP_SEQ_SIZE_56
# define COT_PP_SEQ_SIZE_56(_) COT_PP_SEQ_SIZE_57
# define COT_PP_SEQ_SIZE_57(_) COT_PP_SEQ_SIZE_58
# define COT_PP_SEQ_SIZE_58(_) COT_PP_SEQ_SIZE_59
# define COT_PP_SEQ_SIZE_59(_) COT_PP_SEQ_SIZE_60
# define COT_PP_SEQ_SIZE_60(_) COT_PP_SEQ_SIZE_61
# define COT_PP_SEQ_SIZE_61(_) COT_PP_SEQ_SIZE_62
# define COT_PP_SEQ_SIZE_62(_) COT_PP_SEQ_SIZE_63
# define COT_PP_SEQ_SIZE_63(_) COT_PP_SEQ_SIZE_64
# define COT_PP_SEQ_SIZE_64(_) COT_PP_SEQ_SIZE_65
# define COT_PP_SEQ_SIZE_65(_) COT_PP_SEQ_SIZE_66
# define COT_PP_SEQ_SIZE_66(_) COT_PP_SEQ_SIZE_67
# define COT_PP_SEQ_SIZE_67(_) COT_PP_SEQ_SIZE_68
# define COT_PP_SEQ_SIZE_68(_) COT_PP_SEQ_SIZE_69
# define COT_PP_SEQ_SIZE_69(_) COT_PP_SEQ_SIZE_70
# define COT_PP_SEQ_SIZE_70(_) COT_PP_SEQ_SIZE_71
# define COT_PP_SEQ_SIZE_71(_) COT_PP_SEQ_SIZE_72
# define COT_PP_SEQ_SIZE_72(_) COT_PP_SEQ_SIZE_73
# define COT_PP_SEQ_SIZE_73(_) COT_PP_SEQ_SIZE_74
# define COT_PP_SEQ_SIZE_74(_) COT_PP_SEQ_SIZE_75
# define COT_PP_SEQ_SIZE_75(_) COT_PP_SEQ_SIZE_76
# define COT_PP_SEQ_SIZE_76(_) COT_PP_SEQ_SIZE_77
# define COT_PP_SEQ_SIZE_77(_) COT_PP_SEQ_SIZE_78
# define COT_PP_SEQ_SIZE_78(_) COT_PP_SEQ_SIZE_79
# define COT_PP_SEQ_SIZE_79(_) COT_PP_SEQ_SIZE_80
# define COT_PP_SEQ_SIZE_80(_) COT_PP_SEQ_SIZE_81
# define COT_PP_SEQ_SIZE_81(_) COT_PP_SEQ_SIZE_82
# define COT_PP_SEQ_SIZE_82(_) COT_PP_SEQ_SIZE_83
# define COT_PP_SEQ_SIZE_83(_) COT_PP_SEQ_SIZE_84
# define COT_PP_SEQ_SIZE_84(_) COT_PP_SEQ_SIZE_85
# define COT_PP_SEQ_SIZE_85(_) COT_PP_SEQ_SIZE_86
# define COT_PP_SEQ_SIZE_86(_) COT_PP_SEQ_SIZE_87
# define COT_PP_SEQ_SIZE_87(_) COT_PP_SEQ_SIZE_88
# define COT_PP_SEQ_SIZE_88(_) COT_PP_SEQ_SIZE_89
# define COT_PP_SEQ_SIZE_89(_) COT_PP_SEQ_SIZE_90
# define COT_PP_SEQ_SIZE_90(_) COT_PP_SEQ_SIZE_91
# define COT_PP_SEQ_SIZE_91(_) COT_PP_SEQ_SIZE_92
# define COT_PP_SEQ_SIZE_92(_) COT_PP_SEQ_SIZE_93
# define COT_PP_SEQ_SIZE_93(_) COT_PP_SEQ_SIZE_94
# define COT_PP_SEQ_SIZE_94(_) COT_PP_SEQ_SIZE_95
# define COT_PP_SEQ_SIZE_95(_) COT_PP_SEQ_SIZE_96
# define COT_PP_SEQ_SIZE_96(_) COT_PP_SEQ_SIZE_97
# define COT_PP_SEQ_SIZE_97(_) COT_PP_SEQ_SIZE_98
# define COT_PP_SEQ_SIZE_98(_) COT_PP_SEQ_SIZE_99
# define COT_PP_SEQ_SIZE_99(_) COT_PP_SEQ_SIZE_100
# define COT_PP_SEQ_SIZE_100(_) COT_PP_SEQ_SIZE_101
# define COT_PP_SEQ_SIZE_101(_) COT_PP_SEQ_SIZE_102
# define COT_PP_SEQ_SIZE_102(_) COT_PP_SEQ_SIZE_103
# define COT_PP_SEQ_SIZE_103(_) COT_PP_SEQ_SIZE_104
# define COT_PP_SEQ_SIZE_104(_) COT_PP_SEQ_SIZE_105
# define COT_PP_SEQ_SIZE_105(_) COT_PP_SEQ_SIZE_106
# define COT_PP_SEQ_SIZE_106(_) COT_PP_SEQ_SIZE_107
# define COT_PP_SEQ_SIZE_107(_) COT_PP_SEQ_SIZE_108
# define COT_PP_SEQ_SIZE_108(_) COT_PP_SEQ_SIZE_109
# define COT_PP_SEQ_SIZE_109(_) COT_PP_SEQ_SIZE_110
# define COT_PP_SEQ_SIZE_110(_) COT_PP_SEQ_SIZE_111
# define COT_PP_SEQ_SIZE_111(_) COT_PP_SEQ_SIZE_112
# define COT_PP_SEQ_SIZE_112(_) COT_PP_SEQ_SIZE_113
# define COT_PP_SEQ_SIZE_113(_) COT_PP_SEQ_SIZE_114
# define COT_PP_SEQ_SIZE_114(_) COT_PP_SEQ_SIZE_115
# define COT_PP_SEQ_SIZE_115(_) COT_PP_SEQ_SIZE_116
# define COT_PP_SEQ_SIZE_116(_) COT_PP_SEQ_SIZE_117
# define COT_PP_SEQ_SIZE_117(_) COT_PP_SEQ_SIZE_118
# define COT_PP_SEQ_SIZE_118(_) COT_PP_SEQ_SIZE_119
# define COT_PP_SEQ_SIZE_119(_) COT_PP_SEQ_SIZE_120
# define COT_PP_SEQ_SIZE_120(_) COT_PP_SEQ_SIZE_121
# define COT_PP_SEQ_SIZE_121(_) COT_PP_SEQ_SIZE_122
# define COT_PP_SEQ_SIZE_122(_) COT_PP_SEQ_SIZE_123
# define COT_PP_SEQ_SIZE_123(_) COT_PP_SEQ_SIZE_124
# define COT_PP_SEQ_SIZE_124(_) COT_PP_SEQ_SIZE_125
# define COT_PP_SEQ_SIZE_125(_) COT_PP_SEQ_SIZE_126
# define COT_PP_SEQ_SIZE_126(_) COT_PP_SEQ_SIZE_127
# define COT_PP_SEQ_SIZE_127(_) COT_PP_SEQ_SIZE_128
# define COT_PP_SEQ_SIZE_128(_) COT_PP_SEQ_SIZE_129
# define COT_PP_SEQ_SIZE_129(_) COT_PP_SEQ_SIZE_130
# define COT_PP_SEQ_SIZE_130(_) COT_PP_SEQ_SIZE_131
# define COT_PP_SEQ_SIZE_131(_) COT_PP_SEQ_SIZE_132
# define COT_PP_SEQ_SIZE_132(_) COT_PP_SEQ_SIZE_133
# define COT_PP_SEQ_SIZE_133(_) COT_PP_SEQ_SIZE_134
# define COT_PP_SEQ_SIZE_134(_) COT_PP_SEQ_SIZE_135
# define COT_PP_SEQ_SIZE_135(_) COT_PP_SEQ_SIZE_136
# define COT_PP_SEQ_SIZE_136(_) COT_PP_SEQ_SIZE_137
# define COT_PP_SEQ_SIZE_137(_) COT_PP_SEQ_SIZE_138
# define COT_PP_SEQ_SIZE_138(_) COT_PP_SEQ_SIZE_139
# define COT_PP_SEQ_SIZE_139(_) COT_PP_SEQ_SIZE_140
# define COT_PP_SEQ_SIZE_140(_) COT_PP_SEQ_SIZE_141
# define COT_PP_SEQ_SIZE_141(_) COT_PP_SEQ_SIZE_142
# define COT_PP_SEQ_SIZE_142(_) COT_PP_SEQ_SIZE_143
# define COT_PP_SEQ_SIZE_143(_) COT_PP_SEQ_SIZE_144
# define COT_PP_SEQ_SIZE_144(_) COT_PP_SEQ_SIZE_145
# define COT_PP_SEQ_SIZE_145(_) COT_PP_SEQ_SIZE_146
# define COT_PP_SEQ_SIZE_146(_) COT_PP_SEQ_SIZE_147
# define COT_PP_SEQ_SIZE_147(_) COT_PP_SEQ_SIZE_148
# define COT_PP_SEQ_SIZE_148(_) COT_PP_SEQ_SIZE_149
# define COT_PP_SEQ_SIZE_149(_) COT_PP_SEQ_SIZE_150
# define COT_PP_SEQ_SIZE_150(_) COT_PP_SEQ_SIZE_151
# define COT_PP_SEQ_SIZE_151(_) COT_PP_SEQ_SIZE_152
# define COT_PP_SEQ_SIZE_152(_) COT_PP_SEQ_SIZE_153
# define COT_PP_SEQ_SIZE_153(_) COT_PP_SEQ_SIZE_154
# define COT_PP_SEQ_SIZE_154(_) COT_PP_SEQ_SIZE_155
# define COT_PP_SEQ_SIZE_155(_) COT_PP_SEQ_SIZE_156
# define COT_PP_SEQ_SIZE_156(_) COT_PP_SEQ_SIZE_157
# define COT_PP_SEQ_SIZE_157(_) COT_PP_SEQ_SIZE_158
# define COT_PP_SEQ_SIZE_158(_) COT_PP_SEQ_SIZE_159
# define COT_PP_SEQ_SIZE_159(_) COT_PP_SEQ_SIZE_160
# define COT_PP_SEQ_SIZE_160(_) COT_PP_SEQ_SIZE_161
# define COT_PP_SEQ_SIZE_161(_) COT_PP_SEQ_SIZE_162
# define COT_PP_SEQ_SIZE_162(_) COT_PP_SEQ_SIZE_163
# define COT_PP_SEQ_SIZE_163(_) COT_PP_SEQ_SIZE_164
# define COT_PP_SEQ_SIZE_164(_) COT_PP_SEQ_SIZE_165
# define COT_PP_SEQ_SIZE_165(_) COT_PP_SEQ_SIZE_166
# define COT_PP_SEQ_SIZE_166(_) COT_PP_SEQ_SIZE_167
# define COT_PP_SEQ_SIZE_167(_) COT_PP_SEQ_SIZE_168
# define COT_PP_SEQ_SIZE_168(_) COT_PP_SEQ_SIZE_169
# define COT_PP_SEQ_SIZE_169(_) COT_PP_SEQ_SIZE_170
# define COT_PP_SEQ_SIZE_170(_) COT_PP_SEQ_SIZE_171
# define COT_PP_SEQ_SIZE_171(_) COT_PP_SEQ_SIZE_172
# define COT_PP_SEQ_SIZE_172(_) COT_PP_SEQ_SIZE_173
# define COT_PP_SEQ_SIZE_173(_) COT_PP_SEQ_SIZE_174
# define COT_PP_SEQ_SIZE_174(_) COT_PP_SEQ_SIZE_175
# define COT_PP_SEQ_SIZE_175(_) COT_PP_SEQ_SIZE_176
# define COT_PP_SEQ_SIZE_176(_) COT_PP_SEQ_SIZE_177
# define COT_PP_SEQ_SIZE_177(_) COT_PP_SEQ_SIZE_178
# define COT_PP_SEQ_SIZE_178(_) COT_PP_SEQ_SIZE_179
# define COT_PP_SEQ_SIZE_179(_) COT_PP_SEQ_SIZE_180
# define COT_PP_SEQ_SIZE_180(_) COT_PP_SEQ_SIZE_181
# define COT_PP_SEQ_SIZE_181(_) COT_PP_SEQ_SIZE_182
# define COT_PP_SEQ_SIZE_182(_) COT_PP_SEQ_SIZE_183
# define COT_PP_SEQ_SIZE_183(_) COT_PP_SEQ_SIZE_184
# define COT_PP_SEQ_SIZE_184(_) COT_PP_SEQ_SIZE_185
# define COT_PP_SEQ_SIZE_185(_) COT_PP_SEQ_SIZE_186
# define COT_PP_SEQ_SIZE_186(_) COT_PP_SEQ_SIZE_187
# define COT_PP_SEQ_SIZE_187(_) COT_PP_SEQ_SIZE_188
# define COT_PP_SEQ_SIZE_188(_) COT_PP_SEQ_SIZE_189
# define COT_PP_SEQ_SIZE_189(_) COT_PP_SEQ_SIZE_190
# define COT_PP_SEQ_SIZE_190(_) COT_PP_SEQ_SIZE_191
# define COT_PP_SEQ_SIZE_191(_) COT_PP_SEQ_SIZE_192
# define COT_PP_SEQ_SIZE_192(_) COT_PP_SEQ_SIZE_193
# define COT_PP_SEQ_SIZE_193(_) COT_PP_SEQ_SIZE_194
# define COT_PP_SEQ_SIZE_194(_) COT_PP_SEQ_SIZE_195
# define COT_PP_SEQ_SIZE_195(_) COT_PP_SEQ_SIZE_196
# define COT_PP_SEQ_SIZE_196(_) COT_PP_SEQ_SIZE_197
# define COT_PP_SEQ_SIZE_197(_) COT_PP_SEQ_SIZE_198
# define COT_PP_SEQ_SIZE_198(_) COT_PP_SEQ_SIZE_199
# define COT_PP_SEQ_SIZE_199(_) COT_PP_SEQ_SIZE_200
# define COT_PP_SEQ_SIZE_200(_) COT_PP_SEQ_SIZE_201
# define COT_PP_SEQ_SIZE_201(_) COT_PP_SEQ_SIZE_202
# define COT_PP_SEQ_SIZE_202(_) COT_PP_SEQ_SIZE_203
# define COT_PP_SEQ_SIZE_203(_) COT_PP_SEQ_SIZE_204
# define COT_PP_SEQ_SIZE_204(_) COT_PP_SEQ_SIZE_205
# define COT_PP_SEQ_SIZE_205(_) COT_PP_SEQ_SIZE_206
# define COT_PP_SEQ_SIZE_206(_) COT_PP_SEQ_SIZE_207
# define COT_PP_SEQ_SIZE_207(_) COT_PP_SEQ_SIZE_208
# define COT_PP_SEQ_SIZE_208(_) COT_PP_SEQ_SIZE_209
# define COT_PP_SEQ_SIZE_209(_) COT_PP_SEQ_SIZE_210
# define COT_PP_SEQ_SIZE_210(_) COT_PP_SEQ_SIZE_211
# define COT_PP_SEQ_SIZE_211(_) COT_PP_SEQ_SIZE_212
# define COT_PP_SEQ_SIZE_212(_) COT_PP_SEQ_SIZE_213
# define COT_PP_SEQ_SIZE_213(_) COT_PP_SEQ_SIZE_214
# define COT_PP_SEQ_SIZE_214(_) COT_PP_SEQ_SIZE_215
# define COT_PP_SEQ_SIZE_215(_) COT_PP_SEQ_SIZE_216
# define COT_PP_SEQ_SIZE_216(_) COT_PP_SEQ_SIZE_217
# define COT_PP_SEQ_SIZE_217(_) COT_PP_SEQ_SIZE_218
# define COT_PP_SEQ_SIZE_218(_) COT_PP_SEQ_SIZE_219
# define COT_PP_SEQ_SIZE_219(_) COT_PP_SEQ_SIZE_220
# define COT_PP_SEQ_SIZE_220(_) COT_PP_SEQ_SIZE_221
# define COT_PP_SEQ_SIZE_221(_) COT_PP_SEQ_SIZE_222
# define COT_PP_SEQ_SIZE_222(_) COT_PP_SEQ_SIZE_223
# define COT_PP_SEQ_SIZE_223(_) COT_PP_SEQ_SIZE_224
# define COT_PP_SEQ_SIZE_224(_) COT_PP_SEQ_SIZE_225
# define COT_PP_SEQ_SIZE_225(_) COT_PP_SEQ_SIZE_226
# define COT_PP_SEQ_SIZE_226(_) COT_PP_SEQ_SIZE_227
# define COT_PP_SEQ_SIZE_227(_) COT_PP_SEQ_SIZE_228
# define COT_PP_SEQ_SIZE_228(_) COT_PP_SEQ_SIZE_229
# define COT_PP_SEQ_SIZE_229(_) COT_PP_SEQ_SIZE_230
# define COT_PP_SEQ_SIZE_230(_) COT_PP_SEQ_SIZE_231
# define COT_PP_SEQ_SIZE_231(_) COT_PP_SEQ_SIZE_232
# define COT_PP_SEQ_SIZE_232(_) COT_PP_SEQ_SIZE_233
# define COT_PP_SEQ_SIZE_233(_) COT_PP_SEQ_SIZE_234
# define COT_PP_SEQ_SIZE_234(_) COT_PP_SEQ_SIZE_235
# define COT_PP_SEQ_SIZE_235(_) COT_PP_SEQ_SIZE_236
# define COT_PP_SEQ_SIZE_236(_) COT_PP_SEQ_SIZE_237
# define COT_PP_SEQ_SIZE_237(_) COT_PP_SEQ_SIZE_238
# define COT_PP_SEQ_SIZE_238(_) COT_PP_SEQ_SIZE_239
# define COT_PP_SEQ_SIZE_239(_) COT_PP_SEQ_SIZE_240
# define COT_PP_SEQ_SIZE_240(_) COT_PP_SEQ_SIZE_241
# define COT_PP_SEQ_SIZE_241(_) COT_PP_SEQ_SIZE_242
# define COT_PP_SEQ_SIZE_242(_) COT_PP_SEQ_SIZE_243
# define COT_PP_SEQ_SIZE_243(_) COT_PP_SEQ_SIZE_244
# define COT_PP_SEQ_SIZE_244(_) COT_PP_SEQ_SIZE_245
# define COT_PP_SEQ_SIZE_245(_) COT_PP_SEQ_SIZE_246
# define COT_PP_SEQ_SIZE_246(_) COT_PP_SEQ_SIZE_247
# define COT_PP_SEQ_SIZE_247(_) COT_PP_SEQ_SIZE_248
# define COT_PP_SEQ_SIZE_248(_) COT_PP_SEQ_SIZE_249
# define COT_PP_SEQ_SIZE_249(_) COT_PP_SEQ_SIZE_250
# define COT_PP_SEQ_SIZE_250(_) COT_PP_SEQ_SIZE_251
# define COT_PP_SEQ_SIZE_251(_) COT_PP_SEQ_SIZE_252
# define COT_PP_SEQ_SIZE_252(_) COT_PP_SEQ_SIZE_253
# define COT_PP_SEQ_SIZE_253(_) COT_PP_SEQ_SIZE_254
# define COT_PP_SEQ_SIZE_254(_) COT_PP_SEQ_SIZE_255
# define COT_PP_SEQ_SIZE_255(_) COT_PP_SEQ_SIZE_256
# define COT_PP_SEQ_SIZE_256(_) COT_PP_SEQ_SIZE_257


# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_0 0
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_1 1
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_2 2
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_3 3
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_4 4
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_5 5
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_6 6
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_7 7
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_8 8
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_9 9
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_10 10
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_11 11
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_12 12
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_13 13
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_14 14
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_15 15
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_16 16
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_17 17
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_18 18
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_19 19
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_20 20
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_21 21
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_22 22
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_23 23
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_24 24
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_25 25
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_26 26
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_27 27
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_28 28
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_29 29
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_30 30
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_31 31
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_32 32
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_33 33
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_34 34
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_35 35
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_36 36
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_37 37
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_38 38
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_39 39
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_40 40
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_41 41
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_42 42
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_43 43
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_44 44
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_45 45
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_46 46
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_47 47
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_48 48
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_49 49
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_50 50
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_51 51
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_52 52
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_53 53
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_54 54
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_55 55
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_56 56
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_57 57
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_58 58
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_59 59
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_60 60
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_61 61
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_62 62
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_63 63
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_64 64
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_65 65
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_66 66
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_67 67
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_68 68
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_69 69
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_70 70
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_71 71
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_72 72
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_73 73
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_74 74
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_75 75
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_76 76
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_77 77
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_78 78
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_79 79
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_80 80
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_81 81
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_82 82
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_83 83
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_84 84
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_85 85
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_86 86
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_87 87
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_88 88
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_89 89
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_90 90
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_91 91
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_92 92
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_93 93
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_94 94
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_95 95
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_96 96
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_97 97
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_98 98
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_99 99
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_100 100
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_101 101
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_102 102
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_103 103
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_104 104
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_105 105
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_106 106
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_107 107
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_108 108
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_109 109
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_110 110
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_111 111
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_112 112
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_113 113
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_114 114
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_115 115
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_116 116
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_117 117
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_118 118
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_119 119
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_120 120
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_121 121
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_122 122
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_123 123
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_124 124
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_125 125
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_126 126
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_127 127
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_128 128
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_129 129
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_130 130
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_131 131
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_132 132
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_133 133
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_134 134
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_135 135
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_136 136
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_137 137
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_138 138
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_139 139
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_140 140
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_141 141
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_142 142
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_143 143
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_144 144
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_145 145
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_146 146
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_147 147
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_148 148
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_149 149
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_150 150
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_151 151
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_152 152
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_153 153
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_154 154
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_155 155
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_156 156
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_157 157
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_158 158
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_159 159
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_160 160
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_161 161
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_162 162
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_163 163
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_164 164
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_165 165
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_166 166
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_167 167
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_168 168
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_169 169
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_170 170
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_171 171
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_172 172
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_173 173
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_174 174
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_175 175
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_176 176
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_177 177
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_178 178
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_179 179
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_180 180
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_181 181
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_182 182
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_183 183
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_184 184
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_185 185
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_186 186
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_187 187
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_188 188
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_189 189
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_190 190
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_191 191
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_192 192
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_193 193
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_194 194
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_195 195
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_196 196
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_197 197
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_198 198
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_199 199
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_200 200
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_201 201
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_202 202
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_203 203
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_204 204
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_205 205
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_206 206
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_207 207
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_208 208
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_209 209
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_210 210
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_211 211
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_212 212
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_213 213
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_214 214
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_215 215
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_216 216
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_217 217
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_218 218
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_219 219
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_220 220
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_221 221
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_222 222
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_223 223
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_224 224
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_225 225
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_226 226
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_227 227
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_228 228
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_229 229
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_230 230
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_231 231
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_232 232
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_233 233
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_234 234
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_235 235
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_236 236
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_237 237
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_238 238
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_239 239
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_240 240
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_241 241
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_242 242
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_243 243
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_244 244
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_245 245
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_246 246
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_247 247
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_248 248
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_249 249
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_250 250
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_251 251
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_252 252
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_253 253
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_254 254
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_255 255
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_256 256
# define COT_PP_SEQ_SIZE_COT_PP_SEQ_SIZE_257 257

# endif